
@C1@c@b@_ Pixel Editing

     Edit the pixel values of an individual pixel or a group of pixels.

@b Interaction

@f Selecting and Editing
     
     To select a pixel to edit, click leftmouse on the pixel PixEdit
     window. After a selection is made, a color mixer/colormap is shown.
     
     To edit, simply change the slider setting(RGB mode) or the colormap
     entry. The color shown in the mixer/colormap will be the current
     color of the pixel being edited. The mixer/colormap can also be
     changed by picking a pixel in the main window via CNTL + leftmouse.

@f Set pixels to a particular color

     To set a pixel or a group of pixels to the current color as shown
     in the mixer/colormap, click middlemouse on the target pixel(s)
     in the PixEdit window. 
     
     Leftmouse with ALT key down has the same effect as the middlemouse.

     Dragging will set all pixels on the path.

@f Popup Menu

    Help:     This stuff
    MarkCol:  Cycle thru all available colors for marking the selected pixel
    GridCol:  Toggle the grid color (B&W)
    Repeat:   Repeat last editing on all pixels
    Cancel:   Discard all changes made and return.
    Done:     Update the image and return.

    Note: Repeat means changing to the current color all pixels that have
    the color of the last pixel when it was selected. E.g., last editing
    changed a bluish pixel to red, Repeat means changing all bluish
    pixels to red.

@f Keyboard:

      ESC: Abort editing and return
   ALTKEY: Show the current color 
